Can you please add a .mill_version file so that we all use the same version?
On MacOS 14.2.1 I get this deprecated warning when using mill 0.11.6 (latest):
[warn] /Users/uqmuttin/git/basil/bil-to-boogie-translator/antlr.sc:12:28: type Sources in package define is deprecated (since Mill after 0.11.0-M8): Use mill.define.Target instead.
[warn] def antlrGrammarSources: Sources
[warn] ^

And then it does not build the antlr sources, so fails to compile at: import Parser.*
How does the import $file.antlr in build.sc work?

I'm using the same mill version but the config for the antlr sources was wrong. I added the mill-version file.

Works nicely now thanks :-)
(I renamed .mill_version to .mill-version and committed that).
I can compile, run, and the secret_write output goes through Boogie successfully as usual.

Can you please add a couple of sentences to readme.md to tell people how to use mill?

And maybe we should install and commit the ./mill bootstrap script (I used https://github.com/lefou/millw) so that everyone can easily use mill? There is a windows millw.bat there too.

I cannot see any mill plugins for IntelliJ, but personally I'm happy to run ./mill from the command line. What IDE support do you think others might want?

I mainly use intellij and Mill is supposed to have build server protocol support and intellij project generation, https://mill-build.com/mill/Installation_IDE_Support.html#_intellij_idea_support I want to at least check that connecting the debugger in intellij still works. I don't tend to use VSCode, I'm not sure what integration to expect there.